退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:模态逻辑的模型理论 - 第三部分存在与预测
Fine, Kit;
机译:关于模糊谓词逻辑的理论和模型
机译:非紧凑模态逻辑中的模型存在
机译:谓词抽象,量化范围和存在方式
机译:基于谓词逻辑理论的中药五要素理论建模
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:开发和优化系统评价中逻辑模型的使用:在评价中使用程序论的实践和良好实践
机译:模态逻辑的模型理论,第三部分:存在和预测
机译:一阶谓词逻辑模型理论及相关时态逻辑
机译:在模态逻辑证明模型中检查自然语言的方法和系统
机译:基于环境演算的模态逻辑模型检查
机译:提议模态逻辑模型的特征生成装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。